문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 쿠르트 괴델 (문단 편집) == 개요 == [[오스트리아-헝가리 제국]] 출신 [[미국]]의 [[수학자]], [[철학자]]. 완전성 정리와 불완전성 정리를 증명하여 [[철학]]과 [[수학]]에 대한 새로운 시야를 제공했다. 괴델은 논리학에서 [[아리스토텔레스]], 알프레드 타르스키, [[고틀로프 프레게]]와 함께 인류 역사상 가장 중요한 논리학자로 지목되며 20세기의 수학 및 철학 사고에 엄청난 영향을 끼쳤다. 또한 [[게오르그 칸토어]] 이래 62년간 난제였던 [[연속체 가설]]과 [[선택공리]]가 반증될 수 없음을 증명하였고 상대성 이론에서의 괴델우주[* Gödel metric. 괴델이 생각한 회전하는 우주다. 그는 이 우주모형으로는 [[시간여행]]이 이론상 가능할 것이라고 보았다. 또한 이미 우리 우주자체가 거대한 타임머신일지도 모른다고 생각했다. 이러한 우주에서는, 빛보다 빠르게 이동하는 것이 가능하다는 사실을 내포하고 있지만, 후에 [[에드윈 파월 허블]]이 우주가 팽창한다는 것을 밝힌 후, 괴델의 이러한 회전하는 우주이론은 거의 묻히게 되었다. 한글로 된 설명이 그다지 없다. [[https://en.m.wikipedia.org/wiki/G%C3%B6del_metric|영문위키]]참고.]를 고안하였다. 그리고 그는 고전 논리, 직관 논리, 양상 논리의 관계를 명확히 해서 증명 이론에 중요한 기여를 했다. 괴델은 기계식 컴퓨터의 발달에도 크게 기여했는데, 이는 [[불완전성 정리]] 증명 시 사용된 방법론에서 최초로 '알고리즘의 집합' 개념을 정의하여 사용했던 것에 기인한다. 그 몇 년 후 발표된 [[앨런 튜링]]의 [[튜링 머신]]은 사실 괴델의 저 알고리즘 집합을 바꾸어 표현한 것이다. 튜링은 저 튜링 머신을 이용하여 불완전성 정리를 증명해 보이기도 하였다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기